@echo off
if not exist "..\bnb\omp\Release\maxsat_bnb_omp.exe" (echo ERROR: ..\bnb\omp\Release\maxsat_bnb_omp.exe not found
echo Please build project maxsat_bnb_omp
goto :eof
)

for %%R in (1103) do for %%G in (16 3 2) do (call :run %%R %%G)
goto :eof

:run
echo randseed: %1, cpu: %2
if not exist "..\res\test1\%1" @mkdir "..\res\test1\%1"
set OMP_NUM_THREADS=%2
"..\bnb\omp\Release\maxsat_bnb_omp.exe" %1 bnb_rbcl_xits_14_SAT.xml > "..\res\test1\%1\f%2.bnb.omp.txt"